admit just assumes False (for unfinished parts of proofs)
Looking back at comments and TODOs
Wrote down the rest of SF chapter 3

Very boring in terms of proofs, but it still exposed lots of problems,
especially when it comes to higher-orderneness and lambdas
Also wrote down the exercise solutions from Chapter 3