Support parameters being bound into lexicals.

Somehow, got this far with them just going into locals!
Test for parameters bound into lexicals also.
Add a way to disable SC compilation for now.
Do something sensible with :load in CompUnit.

As much as we can do until we actually support some kind of module
loading, anyway.
Better error for unhandled node types.