Sylvain Henry authored Jun 22, 2020 and Marge Bot committed Oct 09, 2020

In Cmm we can only have real units identified with an UnitId.  Other
units (on-the-fly instantiated units and holes) are only used in
type-checking backpack sessions that don't produce Cmm.