finally got maps working!
equality for a lot of kinds of types