I, too, was curious about the lack of support for abstract types. I was
thinking it would just be a matter of sticking an "abstract" keyword in the
class declaration that was generated, but I suppose there's some
not-so-subtle interactions I'm overlooking.