better tracking of parameter names
generate a lot less labels (when compiling with -g)
adds lexical block dwarf tag
keep track of lexical scopes in debug informations
bugfix: not enough terminators were inserted
minor "optimisation"
clean up
don't put formal parameters in nested scopes
get symbol and source path info from types, not symbol argument