Converting an operation into one that can process entire block requires the creation of a VM instruction/builtin that performs the operation. This will probably not be done immediately for mathematical operations or less-used functionalities. However, if an ABT (sub)tree only deals with a single block variable, the tree can be transformed into a lambda working on a local variable, and the block-enabled tree can be written as valueBlockApplyLambda(block_var, lambda)