Option as a Safety Primitive

Use Option to handle null-equivalent states without runtime segmentation faults.