The option type, also known as the maybe type, for JavaScript