HOL Extended with MFZ (Mostly First-Order and Front-ended ZFC Sets)