Types, as abstract universals, lack causal-temporal situatedness, which is precisely what grounds tr...