Remove exceptions from dest_binop and mk_binop

Since mk_binop has three arguments, one has to replace 'mk_binop v' by
'fun x -> Choice.get << mk_binop v x'
Remove exceptions from dest_conj function