more notes
binding an argument into the local environment
Exercises 3.1-3.2 - basic state variables, of course lambda-flavored