refine Optional syntax & semantics