Variance Annotations for Generic Flexibility

Apply declaration-site variance with out and in modifiers to control generic type subtyping.