Fixed bug in ConstrainedType.Operators
+ Choice.fs for Choice functions

ConstrainedType uses Choice<_,_>.map now