Package mycompiler.mytypereconstruction.typeassumption