function (expression) types
x
declaration
x
quantity (declaration)
x
type (declaration)
x
formal_given
x
expression
x
type expression
x
quantity expression
x
actual_given
x
quantival_term