migrate coherence.rs to LinearSet
migrate gather_loans.rs to LinearSet