Improve test infrastructure

1) New method compileFiles which allows one to compile the content of a directory one file or directory
after another.

2) max constraint is printed to typr.

Added new test pos_all. Other pos tests can be retired.