Reorganize helper files
Simplify the IO-injection code
Page 29 adds #reducible? and #reduce to Boolean, LessThan