perf(kernel/abstract): improve mk_binding performance

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/unifier): remove redundant code

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/unifier): remove redundant code