Cleaned up imports
Comment
Started on automata-based type inference
Automata-based type inference
(It should now be possible to deal with bound variables.)