Introduction to r-lib type safety checks.