fixes in Idris syntax
working with github version of Idris