This is a great question that hits at one of the superpowers of multilevel or mixed effects models, in my opinion. In your example, A, B, and C all vary within groups but, very likely, groups vary in their mean level of each of these. The model does a decomposition of the outcome (C). We can see this in the level-specific formulation of these models:
Level 1 (within-group): $y_{ij} = B_{0j} + e_{ij}$
Level 2 (between-group): $B_{0j} = y_{00} + u_{0j}$
The decomposition comes out in the two error terms, each of which are drawn from non-correlated normal distributions, the variances of which the model provides estimates for:
$u_{0j}$ ~ $N(0, \sigma^2u_{0j})$; $e_{ij}$ ~ $N(0, \sigma^2e_{ij})$
So the model does this automatically for the outcome, but it is up to the analyst to least investigate it for the predictors. The way that we do so is to split predictors into their within- and between-components. As you indicate, there are functions for this, but I use dplyr
dat <- dat %>% group_by(cluster) %>% mutate(mn_A = mean(A), mn_B = mean(B)) %>% ungroup()
Just adding these variables to the model, in addition to the original versions, does the separation.
m1 <- lmer(C ~ A + mn_A + B + mn_B + (1 + A | Grouping), data = data
Algebraically, the coefficients on the mn_* variables are a test of whether the within group association differs from the between group association for that variable. The original variables provide the within-group estimate of the association.
But as detailed in Enders & Tofighi (2007), an ideal approach is to do what you suggested and subtract the group mean from the original variables. They termed this centering the variables within clusters (cwc):
dat <- dat %>% mutate(A_cwc = A-mn_A, B_cwc = B-mn_B)
And then running the mixed model with these group-mean centered variables in addition to the group mean variables:
m2 <- lmer(C ~ A_cwc + mn_A + B_cwc + mn_B + (1 + A_cwc | Grouping), data = data
This leads to exactly the same interpretation of the uncentered A variables in m1
and the mn_* coefficients become the between group associations for those variables. This corresponds to your interpretations in #3.
Edit: Another great paper in the context of education and student surveys is one by Lüdtke et al (2009).