Allow variables to change type
Add TODO to README.rst
Remove completed TODO items
Narrow types in if-else bodies if condition checks for type