>>>> I would have expected that for this frequency the 
>>>> "micro"-frequency should refer to the calendar week.
> Given the periodicity 52 perhaps the "minor" frequency would make 
> even more sense, thinking about a year:week structure.
 Yes, in case one works with weekly data, the "minor" frequency should 
 be the calendar week.  Also, I am not sure what the value added of a 
 "micro" frequency would be in this case. So "year:week" would be 
 totally sufficient.
 
Just as a follow up: Python's Pandas library also keeps the structure 
<year:month:day> for weekly data. Also <pandas.DatetimeIndex.freq> 
involves a series with 52 unique discrete values exactly corresponding 
to what gretl's seasonals() function returns (even though you get a list 
of series here). So I guess things are fine as they are in gretl ;-)
Best,
Artur