improve variadic logic ops
improve mpl::back