added cohen hormander (initial version), cached sympywrapper, refactored muchnik a bit