new file:   TobiasAmmann/bin/lang/ql/util/Typecheck.rsc