is_equivalent_to now includes compartment
Fixed interactive export_name to be compatible with file system naming, now interactive mode can generated equations
Fixed as_complex_pattern bug on dealing with compartments
Patched bug in test due to change to _interactive_