Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties (Logical Methods in Computer Science, 2018)