Typecheck Fold and Fold1 EXCEPT for dimensionality