Merge pull request #31 from wdblair/master

Small change to jsonize type
Updating: very minorly improving
Updating: minor fix: ATSHOME for PATSHOME if the latter is undefined.
Updating: minorly adjusting
Updating: keeping-up-to-date
Updating: improving UTFPL/eval
Updating: adding a missing file
Updating: merging
Updating: improving UTFPL
Updating: minor addition
Updating: minorly improving
Updating: minor changes
Updating: minor adjustment
Updating: renaming some data constructors
Updating: tidying-up