Higher-Order Coloured Unification: a Linguistic Application (Claire Gardent and Michael Kohlhase and Karsten Konrad)