documentation and cleanup
documentation for annotated types
Comments on annotated expressions
Some examples