Exceptions, Restartable Conditions, and Aspect Oriented Programming -- of which many existing programming languages have implementations of the last and at least one of the first two, sometimes as fundamental language syntax and sometimes as libraries building on more fundamental syntax -- are all means of clarifying the separation between the principal logic of a program and peripheral concerns. There's probably other existing techniques.
The goal is certainly worthwhile, but it'd be more interest to know what specifically you are looking for in this regard.