Updated documentation; changed "group" to "branched" in type families