Use a consistent metavariable for types in the tutorial

[lkuper]

The tutorial sometimes uses T (section 3.5) and sometimes uses TYPE (section 6) as a metavariable for types. Consolidate these (I think we should stick with T).