Added type alias definitions.
Begun the variant definition.