add derivations for traversable and friends, preparing to emply lens to
expand the multinodes