Visitor pattern for expressions. Factored out Stringer and Formalizer.