Types

The framework type system in use — Layer 1 input types, Layer 3 history items, and the wire types in between.