Resolved Program.String to C699.
Consolidated union types to actions and functions, (generics on chip?).
No such thing on chip.