Roll your own Combinatory Logic Reductions [5/5/18]