update holSyntaxSyntax for change to Abs

it takes two terms rather than a destroyed variable and a term
Merge remote-tracking branch 'origin/master' into PushAnyInt
add PushAnyInt stuff to compiler compset