doc on repetitive patterns in twelf