Type params/generics

Author: pelmers (new_one)

Index type variables and type params.