Corrects infinite stream syntax [start ..]. Closes

idris-lang/Idris-dev#706