added unit tests for xFlatMap, exported True, ..., and renamed xSucc/xPred with Of suffix