Update Strongly typed AST for local variables and package annotations