added leq for fldmap; ty`leq is just an alias for ty`eq