eclib: fixes to the W8.SHIFT theory
eclib: fixes to the W8.SHIFT theory

As this theory is not meant to be cloned, there is no need for the
intermediate names with _XX suffixes.

jasmin-lang/jasmin,jasmin-lang/jasmin,jasmin-lang/jasmin