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?)

この issue にはファイル名もテストも記載されていません。まず requirements language の実装と既存のチェックを見つけ、次に、提案されている行長、型シグネチャ、警告に関する制約をどのように表現し、テストすべきかを明確にします。合意したスタイル制約が、文書化された例外動作があればそれも含めてサポートされていれば完了です。

索引モデルが issue の本文から書いたものです。