haskell-STMonadTrans: new expression
haskell-equivalence: new expression
haskell-free-operational: new expression
haskell-boxes: new expression
Agda: add 2.4.0.1, 2.3.2.2 is still the default for now