adds basic array functionality to function contracts
illustrative test case, obvious failure
adds 'arbitrarily many X' array contracts
  -- BUG: the array contract macros expand as expected;
  -- however, the underlying combinators are not working
  -- either a contracts.js bug or I'm using them incorrectly
some notes!
adds basic array functionality to function contracts
adds 'arbitrarily many X' array contracts
  -- BUG: the array contract macros expand as expected;
  -- however, the underlying combinators are not working
  -- either a contracts.js bug or I'm using them incorrectly
some notes!
array functionality nearly there