[API] Platform: added SEQAN_RESTRICT
[INTERNAL] Stream: used SEQAN_RESTRICT