[ cosmetic ] zeroFree, whoKnows -> zF, wK

* Shorter names for the phantom types and nicer typesetting
[ cosmetic ] fixing typesetting
[ feature ] constant vector, diagonal matrices, id