diff --git a/TODO.org b/TODO.org
index 10285f11..54df9e4f 100644
--- a/TODO.org
+++ b/TODO.org
@@ -654,6 +654,14 @@ takes an indented block even inside brackets, closing where the brackets close:
 On the author's decision. =defstruct(DiskFull, :parent, IoError, [free i64])= is the fallback, with a
 paren field vector. Proposal: =struct DiskFull :parent IoError= plus field lines.
 
+** NEXT A type alias is written type Row = Vec(i32)
+Decided 2026-09-26: .fln reads ~type Name = T~ as ~(defalias Name T)~, and the printer
+writes it back.
+
+** TODO flan check prints every definition of a file that checks
+A clean =flan check= lists the whole prelude (about 170 lines). Clean should print
+nothing, or only the file's own definitions behind a flag.
+
 ** NEXT defmacro has no sugar
 On the author's decision. =defmacro(repeat, [i n & body]):= with a space-separated parameter vector.
 Proposal: =macro repeat(i, n, & body)= plus a block.