optional - Optional Types and Pattern Matching

Introduces optional types with some() and none, as well as match_with() from functional languages.