Fix and demonstrate type annotations; switch method/function order

Also:
- add doc
- remove failed attempt