Similar Items: Symbolic and Asynchronous Semantics via Normalized Coalgebras