feat(docs): add/improve documentation

[filipsch]

• on when and why to use check_correct
• more advanced example of check_fun_def
• add example that explains how formulas are checked

@hermansje please merge this when it looks good to you.

When merged into master, the pkgdown website (on datacamp.github.io/testwhat) is automatically updated as part of the CI.