some work on the docs
objects documentation complete
fixes typo in readme
finishes documentation and adds invariant syntax (which doesn't work) and a test stub
removes some cruft and adds this contract to newOnly functions, fixes one of the cases for regular functions