generators.ET0LTreeGrammar:
( { S, K },
  { scale.5:3, scale.3333:4, +:1, -:1, f:0, fill0:4, enc:1, F:0 },
  {
    {
      S -> scale.5[S, fill0[+[+[K]], enc[S], K, -[-[K]]], S],
      K -> scale.3333[K, -[K], +[K], K]
    },
    {
      % Note: f is a synonym for hide[F].
      S -> f,
      K -> f
    }
  },
  S, 1+ 2
)
