add typdefs for quaternions