AbstractTransformer: somebody "implemented" export->shared for module imports and did not run the tests
CMRTest: updated typechecker error message