The Checker Framework Manual: Custom pluggable types for Java