Make the types work in the fixable lookups of the comments on https://github.com/Consensys/linea-constraints/pull/748#pullrequestreview-3208057261