equal_whnf_ty wasn't being called! 2x speedup

Conflicts:
	brazil/equal.ml