fix(doc/lua): typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): expose replace_fn in the Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): expose instantiate_levels

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(doc/lua): add universe polymorphism elimator example

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