In the notes, documented the syntaxes used for bound variables and let_in_.