Encoding tinkering.

  - Update JSON RFC reference from 4627 to 7159.
  - Some encoding alphabet reorg.