Fallout from formally introducing stratifications

Try to uniformize usage... Still to do: etale-cohomology.tex
Using the same letter to denote two things

Just a small fix
Fixing some omissions in the material on constructible sheaves
Improve discussion constructible sheaves
Tags: Added new tags