Removing lfnil, lf::, lfjudge, lfjudgelist.
All of these are now defunct
New settable flag "instantiations" to show eigenvariable instantiations

This will let you see what your old eigenvariables turned into