Add more examples demonstrating that the checker framework works across
 - inbound parameters
 - outbound parameters
 - generics
 - lambdas