Abstract constructors not represented in grammar

The grammar of constructors allows abstract constructors. Already this is a little weird and we should consider what it means to have an abstract constructor. Are constructors invoked with virtual dispatch? If not, then what does it even mean to have an abstract ctor?

If we do want to have abstract constructors then the grammar needs to allow a semi as an empty body.
