Rename MaxCounter -> MaxPosInt; tweak docs a little.

Also expose `fromMaxPosInt`.