started out to implement proper tail calls
rewrite the first pass of tco according to its strict definition
tailcall recognition started to work
implemented the second pass of tco: label tcalls with their residing function entries
tailcall optimization was done
added tests for tco
merged tco to master