Duckling.Ordinal.Types