Specialised pattern matching + a term printing demo