Improve error/listing display styling
Improve support for equivalences