docs for extensible clause->proc