Change resolution df format

Put the actual resolution object in it.
This is redundant, but it simplifies certain
downstream operations, e.g. to decide if a resolved
ref satisfies another one.