Cleaning up the NaBL code with a bunch of overlays and fixing definition with types.

I also added code that might add definitions for nameless scopes (such as the Let case in PCF).