Type checking for Path types