refactor(kernel/expr): remove code duplication
refactor(kernel/expr): remove dead code
refactor(kernel/expr): remove silly overloads
refactor(kernel/expr): remove dead code
perf(library/unifier): avoid unnecessary wasteful computation