Tidying of `idrisMain` (fixes #1454).#3362

Merged

jfdm merged 1 commit intoidris-lang:masterfrom jfdm:isolate-main

Aug 31, 2016

+510-415

Commits on Aug 30, 2016

Tidying of idrisMain (fixes #1454 ).
Jan de Muijnck-Hughes
committed