Save the scope for every declaration.
Disallow assignments to structs and mappings.