Value propagation: Move 'push' operations away from if-them-else statements. Retain constant values in scopes after invalidation. Allow binary, unary and stack operations if 'repeat' is true.