Optional { x : Natural }