add type hints to make `lein check` clean