Change rule to forbid trivial where clauses; purge discussion of multidispatch pattern, as it now seems that multidispatch is frequent enough to merit better support.