initial letp printing/parsing architecture, special "cvc3" output language