Finalizations to Optional type -- more specific syntax, an else statement, exhaustive return checking, and restricting operators on optional types