fixing SymEval2 to use new version of STac.
Merge branch 'lambda' of github.com:jesper-bengtson/MirrorCharge into lambda
sketch of how to solve goals with, e.g. method lookups