Text this: Mutual recognition in federal type systems