Tidy the source files and minor fixes

 * README.md now lists the packages for which there is no
   inline documentation yet.
 * .TLS now becomes .State
 * Substitute some of the types defined in stdint with
   standard types from Interfaces.*