Add a bunch of warnings, and either fix code or selectively use pragmas
to ignore the warnings.
Fix typo
For #1, add compile-time chaining of stateless conditions. Tests to
follow.