The Greenberg functor revisited, I