- ifaceTyThing: avoid using (++) when constructing the IdInfo for AnId - Maybe
                is preferable for this.
- misc typesig tidy-ups to make easier to get into the workings of the
  functions herein.