Finished the part relative to type variables.
Fixed a typo