Update readme with type checking examples.