renames some methods in ReificationSupport

As per Denys's request, renames methods in ReificationSupport that are
eponymous to methods in Universe, so that we don't get nasty name
intersections.

This change is not source/binary-compatible, because we don't make any
promises about the contents of the build API. Feedback welcome.