syntax for record types
syntax for record expressions
refactor parser spec: intType
refactor parser spec: boolType
refactor parser spec: voidType