a separate name.  We cannot rely on overloading for different arguments,
because embedded and non-embedded tangent vectors may have the same type.

[[Imported from SVN: r7098]]