Adding example of local type inference to CLS