Describir: Inclusion of Pattern Languages and Related Problems