This pull request implements the standard library part of SE-0157: Recursive Protocol Constraints, which includes: Make the SubSequence associated type have the same capabilities as its enclosing ...