object array nullability, fix subtyping