Added initial Type Variance example
Added a second use-case to the Type Variance example
Added initial Type Bounds example with Upper Type Bounds use-case
Added unfinished Lower Type Bounds use-case to Type Bounds example