More tests, be explicit about missing type variable in applySubst.