split Syntax module to Terms (for symmetry) and Printer modules