Make SpecConstr work right for nullary constructors