updates in the typing of records;
flattening of records, continued;
lambdas in PrologTerm
type inference for HOTerm
some small tests