Added cut.
Added exists.
Should work by calling ttr "case" term.
Added a function typing_terms that should not be used and which exists
to avoid duplicating parse_transformation_arg.