provide some useful typedefs