updating some of the infrastructure for proving balanceL_ordered using our alternative ordered defintion
updating some of the infrastructure for proving balanceL_ordered using our alternative ordered defintion

antalsz/hs-to-coq,antalsz/hs-to-coq