made __str__ return proper unicode symbols, other minor changes
removed unicode hax since its now part of logic.py