fix(kernel/inductive): relax eliminator generation rules for empty types

This commit also removes the workaround false.rec_type. It is not needed anymore