Pluggable result type

[ghost]

urania is currently coupled to promesa for its result type. Ideally we'd have pluggable result types, probably implementing a protocol so different result types can interoperate. We can test with Manifold deferred and provide it out of the box.