Package mycompiler.mytypereconstruction.typeassumptionkey