scopedTerm.Pos module for position stuff
Type.of_term_exn for adventurers
updated interfaces for FO Term and Formula