illustrative test case, obvious failure
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