I'd say you're about right when you hypothesize that a reification is a subset of an implementation.
Reification applies to an abstraction to be transposed into a concrete object whereas implementation is about the whole program.
For example, if you were to implement a video game (thus the implementation) you may need to translate abstract concepts such as coordinates into concrete objects, i.e.Point
structures (which would be ONE reification).