Removed (ttfa ...), (ttfn ...), and (ttcall ...), completing the transition to predicative polymorphism.