fix: add note for Automatic synthesis of typed Λ-programs on term algebras

Author: Sophomore42

_posts/2025-11-05-automatic_synthesis_of_typed_Lambda-programs_on_term_algebras.md

@@ -32,3 +32,7 @@ Curry–Howard同构意味着类型与逻辑之间的一致性。
 ### Data systems and data structures
 
 data system: 没有载体既包含参数，又包含非参数，并且只有有限的载体和基础预算的代数。其中的载体被称作数据结构，数据结构也有参数的和非参数的。
+
+data system是完全由参数数据结构和语言的同构决定的。
+
+### Examples: natural numbers, lists, trees and forests