Names and indexicals are not type-referential | Synapse