Renamed the .t member of type to .code. Moved can_represent into cpp file.
Better error messages for out of bounds access.
Some documentation fixes.