Maude expects binders start at 1.
Merge branch 'unified-builtins2' into maude-binder-patch
Fixin substitution. Regression test added.
Added test for maude user substitution
Merge pull request #588 from kframework/maude-binder-patch

Maude binder patch