Finally remove the old-style reactive input.  Rename the new one to reflexOf, which was always the intended name.
Finally remove the old-style reactive input.  Rename the new one to
reflexOf, which was always the intended name.

google/codeworld,google/codeworld,google/codeworld