Contains extensible definitions of the typeOf operators, an operation that
returns the extensible type of an extensible term.
Contains extensible definitions of a WellTyped relation that relates
extensible terms to their extensible type.
Each file exports all the above static semantics for a given feature.