playing around with combining macros and contracts
add an html document for testing purposes
handles functions of arbitrarily many arguments
  -- no function arguments/return types yet
adds function prototype contracts
  -- handles function of one parameter
  -- pretty prototype syntax in the works
contracts for functions
 -- new syntax for generating arbitrary 'check' combinators
 -- allows contracts for arguments/return values which are themselves functions
adds spec directory and test.js
cleans up some comments and removes cruft