Add libslp-db-util and correct some equivalences