Text this: Strong negation in the theory of computable functionals TCF