Recompiling module `remove_type_re':
  type `remove_type_re_2.foo'/0 was removed.
Recompiling module `remove_type_re':
  body of type `remove_type_re_2.foo'/0 was removed.
remove_type_re.m:016: In definition of predicate `remove_type_re.output_foo'/3:
remove_type_re.m:016:   error: undefined type `foo'/0.
