Optimization in kernel/vars.ml: directly allocate a fixed-size block in the
subst1 case.