added asVTuple and asVTupleType to the export list of Concrete.hs
added asVTuple and asVTupleType to the export list of Concrete.hs

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script