Renamed `fst` & `snd` to `exl` & `exr`, and `lft` & `rht` to `inl` & `inr`