Added some simple string operators.
Added a type abbreviation + inlined active pattern to simulate the Either type using Choice`2.