privat/nit — pull request #475 by privat (2014-06-02 15:33:57+00:00)
Title: Check class kind

Enforce that the specialization conforms the rules.

This solve a old, undocumented, and forgotten TODO in the new engine.