removed local ref const_needs_hBOOL; renamed some const_min_arity parameters to cma
removed local ref const_needs_hBOOL;
renamed some const_min_arity parameters to cma

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