Implementing the Maude part of fresh generation.
Adding test back to regression testing.
Merge pull request #510 from kframework/unified-builtins-fresh

Unified builtins fresh - Maude version