add some more typedefs