trying
disables a number of typecheck tests, because 2.10.x doesn't support SyntheticUnit

we can play with various strategies of dealing with that, e.g. we can treat
all units in relevant positions as synthetics, but that will happen some
other time