Tweak translation to term for better invertibility
Add function converting from term to mozilla AST