Restructuring the section on finite character sheaves to relect the plethora of lemmata that are required.