Formal Evidence in Grammaticalization Research