Fixed bounds checking on vectors.
Renamed [SG]et* to [SG]et*Component.
Add and subtracting Int<> now uses the correct number of bits.
Updated TODO.