mSetToHole, mSetToInnerExpr: Convert from Maybe to use a specific sum type
Use NameSource prefix for data constructors of the Sugar.NameSource type