feat(kernel/inductive): use nondependent elimination when the datatype is in Bool/Prop

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel/inductive): use nondependent elimination when the datatype is in Bool/Prop