(rewrite-list form)
rewrites a list containing checks
(rewrite-nested-checks form)
rewrites code to replace a => b with check calls
a => b