refactor(kernel/instantiate): cleanup beta-reduce
refactor(kernel/instantiate): cleanup beta-reduce