Allow for qualified names in a few places.

Tests avoid the holes (no PEG for qualified constructor names, and not
even grammar rules for qualified type operator names).