Added 'proto type classes': classes and instances can be declared, but no definitions or proof obligations for now.