docs and MaxIncreasingSubsequence impl