Moved gmp_kittel to Util.
Moved InstNamer to Transform.
RewriteSystem -> IntTRS