Fixed typos
[ issue 1283 ] Added missing type signatures
[ issue 1283 ] Fixed

* Added -fwarn-missing-signatures to Agda.cabal
* Removed {-# OPTIONS -fwarn-missing-signatures #-} from the modules.