Flat type system (Chapter 4)