get pmatchTheory building with clocked source semantics
add Ctimeout_error to the intLang

(not using it in Cevaluate yet though)
remove evaluateEquationsTheory

because clearly nobody else was using it. copy things I probably am
using (automatic rewrites) into semanticsExtraTheory, and update for the
clock.