rename again, move arrows to more common place for functions in this file.
rename again, move arrows to more common place for functions in this file.

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