Update theory of the sublist relation.

Also use `open` to import the theories, which should be built with `Holmake`.