Text this: Mathematics as Information Compression via the Matching and Unification of Patterns