fix passes, add noop reduction, remove the wretched value operators