Update manual section on type parameters.

Indicating that bools and tuples are allowable.