new syntax and parser working, along with pretty printing