Make annotated order-n functions rank-n in row variables.
WIP Rescope quantifiers in generalized function types.