record flattening now done in ScopedTerm (otherwise
wont work in substitutions);
bugfix in type inference, hasty generalization of symbol type removed;
better printing of records and errors
update of tests