Corrects infinite stream syntax [start ..]. Closes
idris-lang/Idris-dev#706
Merge pull request #711 from ahmadsalim/bug/fixenumfromsyntax

Corrects infinite stream syntax [start ..]. Closes