Ignore types in synthetic modules definitions

Continue to check their bodies.

Fixes #35