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