[ refactoring ] Some equivalent changes, mostly code styling nicened
[ refactoring ] Some equivalent changes, mostly code styling nicened

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm