refactor(kernel): remove support for proof irrelevant classes

Motivation: we can use Prop