added rings, orders, lattices to theory file
added rings, orders, lattices to theory file

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