Trying to generalize ToMP and FromMP, but it isn't going well.
Slight modification, no improvement.
Further improvement without improvement.
It works now, but I don't understand why (something to do with kinds?)
Merge branch 'mapModule'