Allowing k = 1 and k = n increases the expressiveness of current language.

Things to make sure in a PR addressing this issue:
Recheck all the typing rules for thresh fragment without the 1<k<n constraint.