retrofit: actually handle schematic variables -- need to export into original context;
retrofit: actually handle schematic variables -- need to export into original context;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle