make result_rel use exc_rel

by analogy to Cresult_rel
get intLangExtra to build

only change is for result_rel specialised to syneq... the new theorems
are not obviously useful any more since they leave the relation on the
exception result quantified (can't use syneq since it's an error_result;
this will probably show up later).