Progress on linear-temporal properties research notes [loc-003Z]

I have made significant additions to my research notes on Linear-time temporal properties. Now I have all the relevant content from Defining Liveness, and some of the definitions that will appear in the forthcoming journal paper from me and Rayhana Amjad. This paper finally got reviews back, and we have quite a few things to do but I'm confident we'll get there.