change verify equivalent types to verify type of an expression