Initial spike of Record.
Extracted many Union specs into abstract_struct_shared.
Record passes all abstract_struct_shared specs.
Consolidated AbstractRecord and AbstractUnion into AbstractStruct. Needs more work.
Completely removed AbstractUnion in lieu of AbstractStruct.