Cleaning up Slice Functor and surrounding infrastructure

[JacquesCarette]

• split off the adjunction into Adjunction.Instance.BaseChange
• make the code less brute force, to hopefully be more revealing as to what is going on
• clean up imports