Load json representation of types with Template Haskell, so library files are the base truth of type information.

Make minor fixes in libraries, such as adding the Char labrary and fixing the types in the Dict library.