Split EVT into MVT and EVT, the former representing _just_ a primitive type, while