Typo.
Add `module*' to syntax/parse's kernel-literals.
Add missing core form.
Have optimizer ignore contract definitions.

This bug was hidden by a bug in syntax/parse.
Have optimizer ignore #%top expressions.