Allow bounds on all type parameters.

Allow bounds on formal type parameters in structs and enums (as well as traits and functions). Check all types for well-formedness.