Implement <= operator for MixedMap