Check actual type parameters against their bounds
Added details about bounds on type variables in structs and enums.
Merge remote-tracking branch 'nick29581/wf'
Bounded type parameters is RFC 11