> Depending on the context, one of these particular forms may be more useful than the others. You may want to toggle the verbosity of names on the fly with a ke

> Depending on the context, one of these particular forms may be more useful than the others. You may want to toggle the verbosity of names on the fly with a keybinding, perhaps. A neat idea! Like semantic folding. Has anyone seen an editor that does this?