go back to using a gensym for `defsymconstant'