- Consistent notation for ↦ of the C language: `x ↦C[lv]{q] v`, which is not redefined in every file. - Many useless stylistic changes.