Typedefs starting with `t' in heretic