Typedefs starting with `e' in heretic