Text this: Theory of kinetically-constrained-models dynamics