一次写像f:Rn→Rm、一次変換f:R2→R2の定義の更新

実n次元数ベクトル空間から実m次元数ベクトル空間への一次写像の定義
実2次元数ベクトル空間上の一次変換の定義
を更新。

写像の下位類型として定義していたものを、
n変数m値ベクトル値関数、2変数2値ベクトル値関数の下位類型
という形に、具体化した。