Add paragraph to introduction about HDLs embedded in Haskell