fix some maude stuff + add tests for it
Merge branch 'unified-builtins2' into maude-stuff
fix maude specific hack in mint.k to be more general
Merge pull request #668 from dwightguth/maude-stuff

Maude stuff