TypeSpec names fixes