Infer.makeScheme does not need to modify the Context