Non-constraint stuff in math-lang.rkt. prefix math to cml converter