Laziness in the compiler

My impression is that the speed improvement in the compiler has been done by steady and incremental changes. Adding laziness, on the other hand, would probably require major refactoring.

On the other note, LSP not relying on rustc should free some of the burden when considering laziness.