- add rel effect annotations on functions (apply methods)
- annotationsConform now checks (and expands) relative effects, still need to write tests for that
- implement annotationsLub / Glb (even though that's useless, see comments)
- tests for lubs / glbs