Updated dependencies, improved tags and ghci support