sessions/typeOf
showExtCoreTypeVerbose
Value = .. | SumType [DataCon]; Acknowledges SumTypes in module environment