Text this: Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties