Cleanup in MMapInterface; added map, mapi, map2
Merge pull request #1 from finrod/master

Resolution for not being able to Include IsEq and HasEqDec
Merge branch 'master' of github.com:scuellar/MMap
Added proof of isok_Ok.
Merged.
Finished adding map, mapi, map2 to the interface
Merge branch 'master' of github.com:scuellar/MMap
Fixed facts after changes in the interface
Add new lemmas to MMapWeakList (admitted)
Implement and prove map and mapi
Introduce a custom In_ind induction rule
HasLt and IsStrOrder
HasLt and IsStrOrder, continued
Renaming map_1 -> map_spec1 etc
MakeSetOrdering, MakeListOrdering