INTERFACE BigIntegerVectorBasic = VectorBasic (BigInteger, BigIntegerVector) END BigIntegerVectorBasic.