Make Call hashable and able to handle lower-case typos.
Remove out-of-date comment in knowledge.py
Make the new z3 interpreter actually compile and do something.