Name functions arguments in Coq based on their position alone

[lthms]

This is to avoid a situation where you can have a polymorphic type and an argument label sharing the same name.