Added back in the ResolveIdentities stage. Prep for TypeExpressions.