Add link to paper
More work on figuring out the algorithm
Start implementing unify
Initial work on type inference algorithm impl
Write sample code for testing
Slightly improve logging