Added cofaclist and cofaction operator== overload to simply comparison. Untested.