Runs identifier resolution.

Match block rewriting remains to do.