Centralize everything to do with type inference in a single file