Finished implementing type resolver.