WIP; constant folding trans.