Adding type field to defs, handling destructuring assignments, local defs (properties are always global)