Override setInferredType of UnitNode.
Override setInferredType of UnitNode.

We have to handle singleton nodes specially, because an instance is part
of many subtrees.

marcopennekamp/lore,marcopennekamp/lore