when it's possible, ringmaps should be implemented as promotion

conversely, for any ring map, there should be something like "lift"
