add a TODO
cases definiton for small-step evaluation rules
initial version of typing rules and a small example of a stuck term.