refactor pure and rturn to make them aliases of Just.