emeryberger merged emeryberger/SnakeLean#37 · July 8, 2026 12:39 transpiler: faithful nested Option via type-directed _Some boxing #37 WhatPython modelled every Option α as α | None — idiomatic for a flat option, but it collapses some none and none to a shared None when the elemen… +301 -35