get symbol and source path info from types, not symbol argument
small clean up, generate less labels in debug mode
some more clean up
remove use of lazy in translcore