fix(builtin/kernel): rename generalized proof_irrel axiom to hproof_irrel, and derive the restricted one

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(tests/lean): add another sigma-type test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(tests/lean): add another sigma-type test