moved WolfeEnv to top level package and called it Wolfe