chore: update TS+ and remove not needed lazy#200

mikearnaldi merged 1 commit intomaints-plus/stdlib:mainfrom

chore/updates-10-08-2022ts-plus/stdlib:chore/updates-10-08-2022Copy head branch name to clipboard