* @param module
   * @param environment
   * @return PlIterator
   */
  public static PlIterator getDirectTypes(LogicObject renamed_Object, Module module, Environment environment) {
    return (PLI.consToPlIterator(Logic.mostSpecificNamedDescriptions(PLI.helpGetTypes(renamed_Object, module, environment))));
  }