Contains extensible definitions of static semantics for each language feature: operations to compute their types, type equality operations, typing relations, etc.
Contains extensible definitions of dynamic semantics for each language feature: evaluation semantics as functions, as relations, etc.