Parse/pretty print primitive type/terms