Export case analysis.
Export fixpoints.
Improve the comment explaining the Case construct.
Remove trailing whitespace.