relate() result refactored, result concept crystalized, prepared for compile-time interruptable result types