Changing language options in ghci at runtime