adding f# autocomplete progress