Removed functions auto-generated by Coq.

Remember that this code was dumped by Coq. The functions I deleted,
if you look at the implementations, are just stupid accessors. Just use
the accessors.