Requirements: Style checks

The requirements language should be extended to include some style constraints.

Two useful examples include:

- No lines longer than n characters
- All top-level declarations must have type signatures.
- There are no warnings. (Possibly with exceptions by regular expression match?)

El issue no menciona archivos ni pruebas. Empieza por localizar la implementación del lenguaje de requisitos y sus comprobaciones existentes; después, aclara cómo deben expresarse y probarse las restricciones propuestas sobre la longitud de línea, las firmas de tipos y las advertencias. Se considerará terminado cuando se admitan las restricciones de estilo acordadas, incluido cualquier comportamiento de excepción documentado.

Escrito por el modelo de indexación a partir del texto del issue.