Started moving JSON to Aeson format
Started rewrite of JSON translation
Skeleton for fromMath for constructors
Skeleton for toJson
Fleshed out toJson implementation
Fixed issues with different typed lists
Basic implementation of to and from for types
Added typeSyn json
Got test file to build with new implementation