~mhueschen/plunder-related

remove redundant param?

```
type Port     = (Addr, PortName)
```

so we already have an `Addr`.
net-syscall-prop.md: literal text from Sol's msg
add lorri/direnv .envrc
ignore ghc compiled outputs

LeanCheck benefits greatly from `ghc -O2 LeanCheck.hs` as opposed to
`runghc LeanCheck.hs`.

`runghc Qc.hs` is already quite fast.
add equality operators / PropResult
Do not follow this link