Ensure that scoping rules of the compiler & type checker are the same

[davazp]

Right now is too easy for the compiler to think that a variable is a primitive, but for the type checker to think it is a local variable instead.

Example:

(let ((:x 5))
  :x)

As of now (1ffcc66), the compiler will think the :x is an inline primitive. But the type checker will treat it as local variable.

A possible way to do this is to add a transformation phase to the AST before compiling/type checking where we do name resolution. Linking references to their definitions.