∀ (name : Lean.Name) (builder : Aesop.BuilderName) (phase : Aesop.PhaseName) (scope : Aesop.ScopeName)
  (rendered : String),
  sizeOf { name := name, builder := builder, phase := phase, scope := scope, rendered := rendered } =
    1 + sizeOf name + sizeOf builder + sizeOf phase + sizeOf scope + sizeOf rendered