Small parsing improvements for sorted lvars
Allow for internal representation of user AC syms
Add example to show unification on user-defined sorts
Tell maude about user-defined AC symbols
Small fix for pretty-printing useracsyms
Better handling of user AC symbols, extend example theory
Improve user-defined AC sym parsing
Better pretty-printing of user AC syms