WIP: getting intLangExtraTheory to build with new intlang exceptions

fix various errors (in the definition of stuff to do with CRaise mainly)
in intLang.lem along the way.

define new helper functions to deal with Cresults (as opposed to
results)

up to Cevaluate_syneq
more on intLangExtraTheory

up to Cevaluate_closed