types check out, some test failures
Add UniqueList