parametrize trs types
Merge branch 'master' into termcomp2014
add iterated search
use n > 1 precedences
relabel parsed identifiers
use xml parser
add bash script
add output on success
add timeout
specify timeout path
fix bug (wrong names on profiling)
fix bug (type matching)
Merge branch 'termcomp2014'