Implemented type equality modulo bound vars