update holSyntaxSyntax for change to Abs

it takes two terms rather than a destroyed variable and a term