Refined typedefs