Cleaned up imports, made Glisha a nice and clean instance of MonadState. Everything seems to work