weekly update 19 July - 25 July

1. What did you do this week? finally got all checs passing on `has` pr2. What is coming up next? continue `of S` issue, start a new one 3. Did you get stuck anywhere? no