Unified builtins fresh - Maude version

Handling the new fresh (constant) variables for the Maude backend.