Add comment to simple static contracts.
Add in-list and in-hash to instantiate.
Change name of recursive contract to not colide with racket/contract.
Fixup the static contract documentation.