Admit theorems about an evaluator that allow reasoning about FTY-style accessors and constructors for pseudo-terms.
The following call admits rules describing how evaluator my-eval operates over FTY-style pseudo-term accessors and constructors:
(def-ev-pseudo-term-fty-support my-eval my-eval-list)