more work on unifying with sets