fixed fol/seq and fol/com to work with sentences and constants as eigenvariables