What is the usual treatment for the substitution problems (variable capture, etc.)

Using Capture-avoiding substitution:

• $[x\to s]x=s$

• $[x\to s]y=y\text{if}x\ne y$

• $[x\to s](t_1{t}_2)=[x\to s]t_1[x\to s]t_2$

• -