First steps towards type designators