function (expression) types
x
declaration
x
function (declaration)
x
type (declaration)
x
variable
x
formal_argument
x
bound_argument
x
expression
x
type (expression)
x
simple type
x
quantified type
x
existential type
x
universal type
x
term
x
given
x
function (expression)