added definition oftheory of complete lattice in builtin.theory
added definition oftheory of complete lattice in builtin.theory

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition