Beginning of type inference.