refactor(kernel/instantiate): cleanup beta-reduce