infix.core
resolve-alias
(resolve-alias term)
Attempt to resolve any aliases: if not found just return the original term
rewrite
(rewrite infix-expr)
Recursively rewrites the infix-expr as a prefix expression, according to the operator precedence rules