BatMonomorph: module for shadowing polymorphic operators

I don't know if this can be included in batteries or only as little standalone library.
I don't know either if the name is good. Formerly I've called it: ```Safe```, but ```Monomorph``` is maybe more explicit.