add a few more ghci imports