some comments
- fix `annotationsConform` (checked effects the wrong way)
- infer refined types with effect annotations for `Function` trees
- check the rhs effect of `DefDef` trees with annotated return types, issue effect mismatch errors
- remove effect annotations from expected types when type-checking