compiler: string-wall slice 8b — type-directed string ++ lowering (#578)

compiler: string-wall slice 8b — type-directed string ++ lowering (#578) #499