fix type annotations
update README