Summary: Adds the machinery to be able to resolve types of different IR nodes. The next diff will add an analyzer rule to do that.

Test Plan: Added type_resolution tests.

Reviewers: philkuz, nserrino, #engineering

Reviewed By: nserrino, #engineering

Differential Revision: https://phab.corp.pixielabs.ai/D5220

GitOrigin-RevId: 1fcbde270ea6026c8b169a5972711bd1ca16b03a