+ Added a print function for syntactic expressions.