fix decLangProof for change to sptrees
fix exhLangProof for switch to sptree
start updating conLangProof