Some progress on the scope checker.

  Many binding constructs are processed now, and functions should be getting
renamed to module-unique symbols.  Open declarations are not currently
processed, nor are implicit imports via qualified names.