feat: port unital shelves to Algebra.Quandle (#2393)
algebra.quandle
8631e2d5ea77f6c13054d9151d82b83069680cb1
28aa996fc6fb4317f0083c4e6daf79878d81be33