Partial work on uncontended horizon - doesn't compile
More partial work on uncontended horizons
Finish the uncontended horizon behavior. Need to tidy still
Tidying up and comments