updated theory file (fix typo, remove type decls)
updated theory file (fix typo, remove type decls)

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