JetBrains MPS - 限制ClassifierType对给定类型的子类的引用

Question

我正在用MPS编写DSL来定义事件生产者/消费者，如下所示：

on FooEventProducer
    then FooEventConsumer

其中：

class FooEventProducer implements Producer<FooEvent> {}
class FooEventConsumer implements Consumer<FooEvent> {}

我有一个包含ClassifierType引用的On概念。

如何约束ClassifierType对Producer的子类的引用？