merge f a a <-> a
trace call stack when profiling
add TermComp
Merge branch 'master' of https://github.com/apunktbau/co4