Add test for recursive type inference
Add test for recursive type inference

The recursive type inference seems to work, the warnings of the Hindly
Milner wikipedia page nonwithstanding.  I'm sure it'll need refinement,
but for now close #39.

rcdomigan/atl