Convenient 'subst'/'lift' alternatives for Leibniz, Liskov.

#533 added convenient `subst` alternatives for `Tag.subst`; this does so for `Leibniz` and `Liskov` subst.