Generics, maphash, some simplifications

[dominikh]

This adds generics, replaces metro with maphash, and simplifies some code.

I don't know if you want this module to use generics or not, so feel free to pick whatever commits you think make sense.