In Azcels Constructive Set Theory (CZF) a complete lattice is not necessarily a set. There are hallmarks examples of complete lattices that are proper classes in CZF, including the Dedekind-MacNeille completion of a lattice/poset.

Is there a way to talk about the collection of Complete Lattices in CZF without introducing a hierarchy?