This file contains various functions for manipulating states. Among the many things implemented in it are state canonisation, state duplicating, state comparison and converting to and from string format.