Work on broadcasting shapes for ellipses with type variables in a given context
Type function return type with broadcasted dimensions for argument ellipses
Don't turn function return type variables into datashapes