TP07 Continue from TP05 Features to be implemented unit value & type sequences (execute multiple expression sequentially, return result of the last) local context binding (let-in) records (key-value) type variants recursive function definition