Typedefs starting with `d' in heretic