Removed GADTs extension from Golog.Interpreter.

GADTs were needed for the pick-best as implemented in
Golog.Old.Interpreter and Golog.Old.Tree.
We don't support any pick-best at the moment, so we don't need GADTs
right now.