weekly update 12 July - 18 July

1. What did you do this week? fixed lints on `has` pr, did nothing on `matches` issue, started working on `of S` issue 2. What is coming up next? continue `of S` issue 3. Did you get stuck anywhere? no, i guess