disallow set<a b c>

A (beneficial?) side effect is that you may no longer say 'set'
to mean ∅.  You must say 'set()' instead.  Which is perhaps clearer...