How to prove element equality in G1 using Groth-Sahai proofs
First of all, the idea of proving element equality does not make much sense, since that would reveal the secret element. $prove(X == T)$ with secret $X \in G_1$ and public constant $T \in G_1$ reveals the value of $X$. What I was looking for instead is $prove(g_1^x == T)$ with public constants $g_1, T \in G_1$ and secret scalar $x$.

It tuned out that type 2. multi-scalar equation in $G_1$ was what I was looking for. Since both left hand side and right hand side of those equations are elements in $G_1$, this is exactly what I needed. The special case to use was the liniear equation:

$A^y = T_1$

with public constants $A, T_1 \in G_1$ and private scalar $y$.

Note: Here I used the multiplicative notation for the operation in $G_1$ as it is done in the BeleniosRF paper; the GS paper uses the additive notation.