Adding support for ambient declarations.

  - declare var a;  -- this needs to have a type annotation for every one
    of the declarators, which are translated into extern (nano) type annots.