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