Fixed bug with package
Fixed bug with lengthCompare()
Added basic specification for Vectors