koka.cabal: enabled -Wall to improve code quality
Main: satisfied all -Wall warnings