Redundant bind elimination (incomplete)
Basis for expression transformations
Match folds in the Compute module