Document procedure-closure-contents-eq?.
Memoize wrapped case-> range contracts.

Fixes failing contract tests.