Catching contract violation error discovered by Danny Yoo
Ignoring submodules in web-server lang
Preserve exact stx obj for identifiers (and thus preserve properties like protected)
Adding failing test for submodules in web-server lang