Add transitions for CUnion

[markehammons]

CUnion transition will involve reducing it to its MemorySegment representation and converting memory segments into CUnions. The return transition should use the reader to copy the CUnion out of the temporary scope into the implicit scope.