fix(library/hop_match): Lua bindings gotcha

See http://www.luafaq.org/gotchas.html#T6.4

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(tests/lua): hop_match experiment

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(builtin/kernel): use iff instead of = for Booleans

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(builtin/Nat): use iff

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