week2: comments about alpha-conversion, de Bruijn