Update CTE protocol spec, add signal, signal expression, utilities