Construct a monomial, i.e. a product of a constant by a variable.
Macro: pfmon
(defmacro pfmon (c v) (cons 'expression-mul (cons (cons 'expression-const (cons c 'nil)) (cons (cons 'expression-var (cons v 'nil)) 'nil))))
