 How are Mentalese expressions individuated? Since Mentalese expressions are types, answering this question requires us to consider the type/token relation for Mentalese. We want to fill in the schema