Variant of apply-term* that performs no simplification.
The meaning of the starting f in the name of this utility is analogous to fcons-term compared to cons-term.
Macro: fapply-term*
(defmacro fapply-term* (fn &rest terms) (cons 'fapply-term (cons fn (cons (cons 'list terms) 'nil))))
