mgold Improve explanation of type variables

Latest commit fd0a6ce

Dec 19, 2015