Adding example of type inference in CLS