Loosened some unnecessarily strong assumptions in the interface (intentional Coq eq -> "equality" of maps).
Merge pull request #2 from finrod/master

Loosened some unnecessarily strong assumptions in the interface