- run effects annotation checker only up to pickler phase
- effect checking of classes, fields, constructors, accessors. still stuff to do there.
- effect checking of synthetic mehtods
- hook for specifying default effects of built-in methods. will need something external long-term, such as external annotations.