Define Reification Context data type.
Unary/Binary operator generation reorganization.
Define K3 -> C++ type conversion.
Define initial transformation functions for inline/reification.