handling for case.

- patterns do not exist in Coq's core representation
- I need a way to get constructor names (in their order)
now with suppport for running evaluation functions
support for fixpoints.