fix: correct types (and add mypy to CI)

fix: correct types (and add mypy to CI) #99