Introduce top-level unFreeComp

which the assertion to verify that we can do independent type checking.