Types tidy up
Contract for Arbiter requires a concrete target
Something