Mulgen

as per #54 

No, I don't think we want ConjTrans in mat64 at all. Trans seems sufficient to me.