feat(builtin/heq): add heq C++/Lean interface

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(build): update automatically generated files

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