Zsuper mutator

This branch mutates zsuper nodes.