added ability to set default precedence and declare pseudonyms for symbols