feat(kernel/inductive): check in add_inductive whether the environment supports inductive datatypes or not

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel/inductive): check in add_inductive whether the environment supports inductive datatypes or not