Wrap Basic::subs() into Python
Add tests
Expose Basic.__hash__()
Add more tests
Python: Sympify arguments, test it
Implement .subs(old, new) interface as well