[ issue 1269 ] Fixed

We apply TypeChecking.EtaContract.etaContract after the normalisation
in quoteTerm.
[ issue 1269 ] Cosmetic changes to the test cases
[ issue 1269 ] Added test case

Case: quoteTerm η-reduced and non η-reduced
[ issue 1269 ] Added -fwarn-missing-signatures option (and minor changes)