Mainly renamings proj₁/proj₂ to fst/snd
[more] Mainly renamings proj₁/proj₂ to fst/snd
K: without-K