Add signature of Semantics module
Add Traversing.fold_p