refactor(library): remove unnecessary file hott_kernel, HoTT and
standard library have been merged
feat(shell): include build type when printing version
refactor(library): remove dead code
refactor(kernel): remove support for proof irrelevant classes

Motivation: we can use Prop