export types defined by top level data family declarations