This module contains operations to add type information to the body
of each function defined in a FlatCurry program.
The type information (defined as TypeInfo) consists of
a list of all typed variables visible in the expression and the result type
of the expression.