A ``quoted constant'' 4vec, which represents itself.
This is a product type, introduced by defflexsum in support of svex.
