Add comp, empty?, and every-pred