incomplete type annotations
type annotations are read and written
tests
type annotations display
type annotatios