+ Fixed bug in equals of supported infons (apparently needs to be
returning a copy of the hash set)