Reorganizing unit tests
Fixed bug where state instance was not createdly properly for kleene plus
Finally correctly imported Pyre
Trying to handle imports