Isomorphism checker for intersection-types