Phases for query validation

[nrc]

Is it worth separating name resolution from type checking? I think it probably will be once we're checking more queries. There might be other phases too. Also worth thinking about the data we store information in.