!7 concept Thing { S thing, category; } module Things > DynCRUD { *() { super(Thing); } }