Type descriptor for type inference.