Chapter 4. Type of KerMeta expressions

This section details the static computation of type of each kind of expression.