Initial commit
changes from review
Adding files for release.
Bug fixes for issue 1 and issue 2
Renaming contract file
Adding ristretto.js
Fixed issue 3.
Added anonymous type specifications (so T("Int -> Int", ...) works).
implementations for int, string, number, functions, lists.
side-track because of bugs in map.
Added object check to map contract.
Merge branch 'master' into better_errors
in progress
Got errors working with ADTs.
Better errors. Pushing to branch pending thorough review and improvement of ADT case.