Expanded AST. There WILL be type issues.