Slight polishing of backtraces. Also made symbol lookup lazy again.