add some javadoc and add CannotConvertException, for failed conversion in Dim.equals() and Vector.add()