adds newonly and callonly contracts a la contracts.coffee
  -- not sure if this is the final syntax we want to go with