Documentation

mkTypeExpr is used by the parser to create a type expression for the specific input type.

typeExpr creates an expression that returns true if the containing expression does not return an error. For example: `(typeExpr varBoolExpr)` will ony return true is the field value is a bool.