I don’t think this is possible without using reflection. And even with reflection it won’t work with extension functions, only with member functions.
Kotlin doesn’t have a concept of a “countable type” as you call it and sadly, operators are not represented as interfaces as well. You can create such interface for your own classes and then you can make a generic dec() function, but it won’t work for existing types.
Similar solutions are implemented in KMath. Inside algebra, it is possible to perform sum operation on a type the algebra covers. It is also possible to infer algebra in runtime, but it is not effective.