updated readme with examples of type checker