[sc34wg3] Supporting variants in TMCL

[Steve Pepper]

* Lars Marius Garshol
|
| > NAMES of type "foo" belonging to
| > TOPICS of type "bar" can or must have (one or more)
| >  VARIANTS in the scope "baz"
| >
| Is "baz" here a topic type, the way it is in nearly all other
| constraints (except scope-required-constraint), or is it an instance
| (as in scope-required-constraint)? In other words, is the requirement
| that the variant contain the topic "baz" in its scope, or that it
| contain an instance of "baz"?

It is a specific topic, not a type. Being able to specify the type *might* be
better than nothing, but only marginally.

Steve