docs: public PatternDescrBuilder<ForallDescrBuilder<P>> pattern( String type ) {
          PatternDescrBuilder<ForallDescrBuilder<P>> pattern = new PatternDescrBuilderImpl<ForallDescrBuilder<P>>( this,
                                                                                                                   type );
          descr.addDescr( pattern.getDescr() );
          return pattern;
      }