Fixing symbolic backend in unified-builtins2.

Fixing symbolic backend in unified-builtins2: added missing compilation steps in the symbolic backend and use the Maude backend when initialising backend options.