TcCanonical

canonicalize

flatten

flattenMany

occurCheckExpand

data FlattenMode

data StopOrContinue