Intuitionize fzouzsplit in iset.mm
Intuitionize fzouzsplit in iset.mm

The only change needed is to change lelttric to zlelttric and
minor related changes.

metamath/set.mm,metamath/set.mm,metamath/set.mm