Function conv_token

fn conv_token<'a, T, U, F>(
    token: &'a PolishToken<T, Column, BerkeleyChallengeTerm>,
    fun: F,
) -> PolishToken<U, Column, BerkeleyChallengeTerm>
where
    T: 'a,
    F: Fn(&T) -> U,