Fixed README typo.
Dangling else ``works'' now, removed won't fix documentation.
Indentation now also deals with record syntax within GADTs.