Initial implementation for type resolver.