Move "parse tree to AST" function&theory from parsing to semantics.

Take the opportunity to rename it to cmlPtreeConversion (losing the
"mml" prefix).
Give the repl spec a better definition for parse.