Various fixes re. type variables

Fixes #75, #82 and #87 
Uber nit: Needs a period. [Comments should be sentences](http://nedbatchelder.com/blog/201401/comments_should_be_sentences.html)