(+) Implement schema instantiation

For this, defined a generic fold over syntax trees.
(/=) Schema inference : tests, fixes
(/=) fold fixed
(+) SyntaxTree: more tests

(/=) fixed precondition in ordering node