Many functions would be more convenient with `TypeApplication` sans label arguments

`focus` and `extend` for examples could take no label argument and the user could write `focus @"name"` and `extend @"name"`.
A difficulty is what to do about operators: `(.!)` and `(.-)` in particular.
