Inscription types in Goodman's calculus of individuals unify tokens via concrete syntactic shape-pre...