emulation for SyntheticUnit
Revert "disables a number of typecheck tests, because 2.10.x doesn't support SyntheticUnit"

This reverts commit 186779f61e04805f85be6b4f80ede95cbcd79b66.
disables some early def tests that fail due to an unknown problem