some work on cleaning up syntax and simplifying macros
major overhaul to sweet-contracts syntax
got the arbitrarily long strings of and/or
  -- still need to parenthesize a more complicated contract if its further down the alternation chain...
syntax overhaul ostensibly complete
  -- more or less all tests in for existing functionality
  -- a few todos and open questions