Added ghci config and various updates.