Define HOAS terms via open pre-terms
Initial term definitions for sharing recovery
Add sharing traversals
De Bruijn conversion for terms with sharing recovery