Decruft
Update format_result for new list/pair backing
Update probjs, add some support change and mh tests