Text this: Scalar and Vectorial mu-calculus with Atoms