Implemented Map.has*