Impossibilità di tokens, necessità di types