Add Maybe type.

Add a Maybe type to uniformly represent explicit optional values.