module appmap.AppMap should propose *finite domain* maps
the module appmap.AppMap is an interface for maps without domain. It should be an interface for maps of finite domain only.
Moreover, it should take the equality on the type of keys as parameter
To upload designs, you'll need to enable LFS. More information