A set of virtual nodes that are used to recover some high-level concepts that are desugared to non-trival terms in some IRs.