adding liquidhaskell theme