simplified N2M code now that 'fold' is no longer used by the sugar layer + use right context in all 'force_typ' calls
simplified N2M code now that 'fold' is no longer used by the sugar layer + use right context in all 'force_typ' calls

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