Added asserts and function skeletons in OptionEitherTry