making this thing bootstrap

unfortunately, probeTypeConstructor in enterSym sometimes causes
completion of ImportType thunks to fail.

I thought that I incorrectly synthesize contexts for typechecking, but
additional investigation showed that I'm doing everything correctly.
back to the drawing board...