IR generation: basic support for streams, indexing
type checker: reduce stream after slicing
IR gen: basic support for stream slices, stream arithmetic