Option types for TypeScript with real gradual typing [moved to Codeberg] - View it on GitHub