Drop the weird cone inequality operators and rename the standard ones.

Most of the cone inequality operators I had (for example, \lekstar)
were nonstandard, and it doesn't make sense to have then in
mjotex. The few standard "curly inequality" operators now have better
names like \gecone rather than \gek which required you to think of
"k" as a cone.