diff --git a/src/lib.rs b/src/lib.rs
index 68d99af5..317ef89e 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -114,8 +114,10 @@ pub use traits::{PartialLess, PartialEqual, PartialGreater, NotComparable};
 pub use traits::{
     Absolute,
     AbsoluteRotate,
-    AnyVec,
     AnyPnt,
+    AnyPntExt,
+    AnyVec,
+    AnyVecExt,
     ApproxEq,
     Axpy,
     Basis,
@@ -148,7 +150,6 @@ pub use traits::{
     PartialOrd,
     PartialOrdering,
     PntAsVec,
-    PntExt,
     RMul,
     Rotate, Rotation, RotationMatrix, RotationWithTranslation,
     Row,
@@ -159,8 +160,7 @@ pub use traits::{
     Translate, Translation,
     Transpose,
     UniformSphereSample,
-    VecAsPnt,
-    VecExt
+    VecAsPnt
 };
 
 pub use structs::{
diff --git a/src/traits/mod.rs b/src/traits/mod.rs
index c4c60311..eb7e8f8b 100644
--- a/src/traits/mod.rs
+++ b/src/traits/mod.rs
@@ -5,8 +5,8 @@ pub use self::geometry::{AbsoluteRotate, Cross, CrossMatrix, Dot, FromHomogeneou
                          Transform, Transformation, Translate, Translation, UniformSphereSample};
 
 pub use self::structure::{FloatVec, FloatVecExt, FloatPnt, FloatPntExt, Basis, Cast, Col, Dim,
-                          Indexable, Iterable, IterableMut, Mat, Row, AnyVec, VecExt, AnyPnt,
-                          PntExt, PntAsVec, VecAsPnt, ColSlice, RowSlice, Diag, Eye};
+                          Indexable, Iterable, IterableMut, Mat, Row, AnyVec, AnyVecExt, AnyPnt,
+                          AnyPntExt, PntAsVec, VecAsPnt, ColSlice, RowSlice, Diag, Eye};
 
 pub use self::operations::{Absolute, ApproxEq, Axpy, Cov, Det, Inv, LMul, Mean, Outer, PartialOrd,
                            RMul, ScalarAdd, ScalarSub, ScalarMul, ScalarDiv, Transpose};
diff --git a/src/traits/structure.rs b/src/traits/structure.rs
index 62ee0b7d..6026ef1f 100644
--- a/src/traits/structure.rs
+++ b/src/traits/structure.rs
@@ -166,13 +166,13 @@ pub trait FloatVec<N: Float>: AnyVec<N> + Norm<N> {
 
 /// Trait grouping uncommon, low-level and borderline (from the mathematical point of view)
 /// operations on vectors.
-pub trait VecExt<N>: AnyVec<N> + Indexable<uint, N> + Iterable<N> +
-                     UniformSphereSample + ScalarAdd<N> + ScalarSub<N> + Bounded
+pub trait AnyVecExt<N>: AnyVec<N> + Indexable<uint, N> + Index<uint, N> + IndexMut<uint, N> +
+                        Iterable<N> + UniformSphereSample + ScalarAdd<N> + ScalarSub<N> + Bounded
 { }
 
 /// Trait grouping uncommon, low-level and borderline (from the mathematical point of view)
 /// operations on vectors.
-pub trait FloatVecExt<N: Float>: FloatVec<N> + VecExt<N> + Basis { }
+pub trait FloatVecExt<N: Float>: FloatVec<N> + AnyVecExt<N> + Basis { }
 
 impl<N, V: Dim + Sub<V, V> + Add<V, V> + Neg<V> + Zero + PartialEq + Mul<N, V> + Div<N, V> + Dot<N> + Axpy<N>>
 AnyVec<N> for V { }
@@ -180,11 +180,11 @@ AnyVec<N> for V { }
 impl<N: Float, V: AnyVec<N> + Norm<N>> FloatVec<N> for V { }
 
 impl<N,
-     V: AnyVec<N> + Indexable<uint, N> + Iterable<N> +
+     V: AnyVec<N> + Indexable<uint, N> + Index<uint, N> + IndexMut<uint, N> + Iterable<N> +
         UniformSphereSample + ScalarAdd<N> + ScalarSub<N> + Bounded>
-VecExt<N> for V { }
+AnyVecExt<N> for V { }
 
-impl<N: Float, V: FloatVec<N> + VecExt<N> + Basis> FloatVecExt<N> for V { }
+impl<N: Float, V: FloatVec<N> + AnyVecExt<N> + Basis> FloatVecExt<N> for V { }
 
 /*
  * Pnt related traits.
@@ -228,18 +228,18 @@ pub trait FloatPnt<N: Float, V: Norm<N>>: AnyPnt<N, V> {
 
 /// Trait grouping uncommon, low-level and borderline (from the mathematical point of view)
 /// operations on points.
-pub trait PntExt<N, V>: AnyPnt<N, V> + Indexable<uint, N> + Iterable<N> +
-                        ScalarAdd<N> + ScalarSub<N> + Bounded + Axpy<N>
+pub trait AnyPntExt<N, V>: AnyPnt<N, V> + Indexable<uint, N> + Index<uint, N> + IndexMut<uint, N> +
+                           Iterable<N> + ScalarAdd<N> + ScalarSub<N> + Bounded + Axpy<N>
 { }
 
 /// Trait grouping uncommon, low-level and borderline (from the mathematical point of view)
 /// operations on points.
-pub trait FloatPntExt<N: Float, V: Norm<N>> : FloatPnt<N, V> + PntExt<N, V> { }
+pub trait FloatPntExt<N: Float, V: Norm<N>> : FloatPnt<N, V> + AnyPntExt<N, V> { }
 
 
 impl<N, V, P: PntAsVec<V> + Dim + Sub<P, V> + Add<V, P> + Orig + Neg<P> + PartialEq + Mul<N, P> + Div<N, P>>
 AnyPnt<N, V> for P { }
 impl<N: Float, V: Norm<N>, P: AnyPnt<N, V>> FloatPnt<N, V> for P { }
-impl<N, V, P: AnyPnt<N, V> + Indexable<uint, N> + Iterable<N> + ScalarAdd<N> + ScalarSub<N> + Bounded + Axpy<N>>
-PntExt<N, V> for P { }
-impl<N: Float, V: Norm<N>, P: FloatPnt<N, V> + PntExt<N, V>> FloatPntExt<N, V> for P { }
+impl<N, V, P: AnyPnt<N, V> + Indexable<uint, N> + Index<uint, N> + IndexMut<uint, N> + Iterable<N> + ScalarAdd<N> + ScalarSub<N> + Bounded + Axpy<N>>
+AnyPntExt<N, V> for P { }
+impl<N: Float, V: Norm<N>, P: FloatPnt<N, V> + AnyPntExt<N, V>> FloatPntExt<N, V> for P { }