test(lua): add another inductive datatype example

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): improve type_checker:check Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): well-founded induction

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
checkpoint

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>