-w gives a warning if a constructor symbol in the lhs of a rule hasn't been declared yet. Maybe we should only emit this warning for symbols on the rhs?

Maybe it's actually better to keep it the way it is, so that constructor symbols on the lhs of an equation may be cross-checked against declarations. The warning is only mildly annoying, but provides some extra safety.