Have to fix TypeClosure computation.