Introduce a typecheck mode where dimensionality is ignored, for afer ExplicitShapes.  passes 70/70