x
type (expression)
x
term
x
type (declaration)
x
formal argument