Provides the abstractions that define the run-time versions of STEP types.