Finished lazy_compiler; merging refactoring into master.