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>
feat(library/module): add module import procedure

The modules are processed in parallel.

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