Type annotations are optional in all places.
More readme.