Describir: Local Systems in Algebraic-Arithmetic Geometry