ForeEnd: protocol: add interface to check result type