Describir: Mutual recognition in federal type systems