fix tests and lint #74

	---
	name: Typing
	on: [push, pull_request]
	jobs:
	mypy:
	name: mypy
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@master
	- name: Set up Python 3.9
	uses: actions/setup-python@v1
	with:
	python-version: 3.9
	- name: Install requirements
	run: pip install -r requirements.txt
	- name: Install test requirements
	run: pip install -r test-requirements.txt
	- name: Install mypy
	run: pip install mypy
	- name: Run mypy
	run: mypy .
	pyre:
	name: pyre
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@master
	- name: Set up Python 3.9
	uses: actions/setup-python@v1
	with:
	python-version: 3.9
	- name: Install requirements
	run: pip install -r requirements.txt
	- name: Install test requirements
	run: pip install -r test-requirements.txt
	- name: Install pyre
	run: pip install pyre-check
	- name: Run pyre
	run: pyre check

Provide feedback