convex
convex copied to clipboard
Double check "shift" behaviour for MapTree and SetTree
possible risk of non-unique encodings with shift levels skipped / not-skipped?