Use StreamK implicitly where needed - user rewrite rules

[harendra-kumar]

For example we can have cons' and append' operations in the Stream which will use StreamK under the hood.

Another alternative is to use rewrite rules in cons, append to use Stream when the conversion can be eliminated and StreamK will be used otherwise.