Introduce special types for driving kind inference

Closes #10834