feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics

feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics #3090