Add an optional_ref class

[eyalroz]

For work on #641 and #689 , we'll want an optional-reference class - which can't be the same as an optional-value class (our poor_mans_optional). Let's write one.