Add section about type sigs