also bug in reduce_int, compiler not carried through
rather large commit, but essentially a simple rename Rationale in docs and blogs