New syntax for things, and equality utilities