Changed the definitino of pure to work with classical separation logics. All of the instances into function spaces have not yet been lifted.