Litex: The First Formal Language Learnable in 1-2 Hours