Fixed protocols.

+ Replaced `effect` with `call` to reflect changes in the Effects API from `idris-dev`
+ Added .gitignore.
+ Added Makefile
+ Fixed trailing whitespace in viewed files.