New bloc-related lints

[PiotrRogulski]

This PR introduces six new lints enforcing our new architecture guidelines.

(Also, as a cleanup, all created single-type checkers are moved to one location to avoid duplication.)