Added MultiVectorTerm.toString().