feat(library/coercion): expose coercion module in the Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/coercion): bug in add_coercion_trans

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel/instantiate): relax apply_beta pre-conditions

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/coercion): bug in de-Bruijn indices

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/coercion): add for_each_coercion procedure

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/coercion): bug add_coercion

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add coercion module tests

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