Added known extensions: OverloadedLists, EmptyCase, AutoDeriveTypeable, ...

...NegativeLiterals, NumDecimals, NullaryTypeClasses