Rename Maybe to Option to align with Rust