mathics evaluation in imathics.py