TermADT (#10): add LamT projections `LamT->var` and `LamT->body`