Map and List builtins work with Maude.
Merge branch 'master' of https://github.com/kframework/k
Worked on local machine since this can broke the master.
Fixing sets.
Merge branch 'master' of https://github.com/kframework/k
Fixing set builtins.
Merge branch 'master' of https://github.com/kframework/k
MySet: only two tests left to pass.