diff --git a/clash-shockwaves.cabal b/clash-shockwaves.cabal
--- a/clash-shockwaves.cabal
+++ b/clash-shockwaves.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.4
 name:                clash-shockwaves
-version:             1.0.0
+version:             1.0.1
 license:             BSD-2-Clause
 license-file:        LICENSE
 copyright:           Copyright © 2026 QBayLogic B.V.
@@ -106,7 +106,7 @@
     time                          >=1.8 && <1.15,
 
     -- clash-prelude will set suitable version bounds for the plugins
-    clash-prelude                 >=1.8.2 && <1.10,
+    clash-prelude                 >=1.8.2 && <1.12,
     ghc-typelits-extra,
     ghc-typelits-knownnat,
     ghc-typelits-natnormalise,
diff --git a/src/Clash/Shockwaves/Internal/Trace/CRE.hs b/src/Clash/Shockwaves/Internal/Trace/CRE.hs
--- a/src/Clash/Shockwaves/Internal/Trace/CRE.hs
+++ b/src/Clash/Shockwaves/Internal/Trace/CRE.hs
@@ -44,7 +44,7 @@
   deriving (Generic, Typeable, BitPack, NFDataX)
 
 {- | A type for displaying clock, reset and enable signals.
-See 't:ClockWave', 't:ResetWave' and 't:EnableWave'.
+See t'ClockWave', t'ResetWave' and t'EnableWave'.
 It contains these signals as subsignals. The toplevel signal displays the clock
 during normal operation, reset when it is active, and enable when it is low.
 The combined style of both being active can be configured through the style
diff --git a/src/Clash/Shockwaves/Internal/Translator.hs b/src/Clash/Shockwaves/Internal/Translator.hs
--- a/src/Clash/Shockwaves/Internal/Translator.hs
+++ b/src/Clash/Shockwaves/Internal/Translator.hs
@@ -24,7 +24,7 @@
 import Math.NumberTheory.Logarithms (intLog2)
 import Numeric (showHex)
 
--- | Apply a 'WaveStyle' to a 't:Translation' value. Only replaces 'WSDefault'.
+-- | Apply a 'WaveStyle' to a t'Translation' value. Only replaces 'WSDefault'.
 applyStyle :: WaveStyle -> Translation -> Translation
 applyStyle s (Translation r sb) = Translation (applyStyleR s r) sb
 
@@ -33,7 +33,7 @@
 applyStyleR s (Just (l, WSDefault, p)) = Just (l, s, p)
 applyStyleR _ r = r
 
-{- | Apply a precedence value to a 't:Translation'.
+{- | Apply a precedence value to a t'Translation'.
 If the precedence is higher or equal to that of the current value,
 it is wrapped in parentheses.
 -}
@@ -58,7 +58,7 @@
 applyPrecs :: Prec -> [(a, Translation)] -> [(a, Translation)]
 applyPrecs p = L.map (second (applyPrec p))
 
-{- | Get the value of a 't:Translation'. If the value is not defined,
+{- | Get the value of a t'Translation'. If the value is not defined,
 return @{value missing}@.
 -}
 getVal :: Translation -> Value
@@ -267,7 +267,7 @@
 
 -- structure
 
-{- | Return the 't:Structure' implied by a 't:Translator'. Useful for determining
+{- | Return the t'Structure' implied by a t'Translator'. Useful for determining
 the structure of a constant translation.
 -}
 structureT :: Translator -> Structure
@@ -316,7 +316,7 @@
           (Nothing, (name, Structure $ mergeDuplicateSubsignals (s' <> s)))
     mergeOrPass newsig oldsig = (newsig, oldsig)
 
--- | Construct a 't:Structure' from a 't:Translation'.
+-- | Construct a t'Structure' from a t'Translation'.
 fromTranslation :: Translation -> Structure
 fromTranslation (Translation _ subs) = Structure $ L.map (second fromTranslation) subs
 
diff --git a/src/Clash/Shockwaves/Internal/Types.hs b/src/Clash/Shockwaves/Internal/Types.hs
--- a/src/Clash/Shockwaves/Internal/Types.hs
+++ b/src/Clash/Shockwaves/Internal/Types.hs
@@ -60,7 +60,7 @@
 -- | Table of LUTs. Usually, the index is a type name, but this is not necessarily the case.
 type LUTMap = Map LUTName LUT
 
--- | A lookup table of 't:Translation's.
+-- | A lookup table of t'Translation's.
 type LUT = Map BitList Translation
 
 -- | The color type used in 'WaveStyle'.
@@ -156,7 +156,7 @@
 -}
 data TranslatorVariant
   = {- | Use the translator of a different type. Note that the width value of the
-    't:Translator's should match that of the target. The 't:TypeRef' parameter does not
+    t'Translator's should match that of the target. The t'TypeRef' parameter does not
     end up in the actual output, but is used to access functionality for the referenced
     type. Use @tRef@ to create this translator.
     -}
diff --git a/src/Clash/Shockwaves/Internal/Waveform.hs b/src/Clash/Shockwaves/Internal/Waveform.hs
--- a/src/Clash/Shockwaves/Internal/Waveform.hs
+++ b/src/Clash/Shockwaves/Internal/Waveform.hs
@@ -73,7 +73,7 @@
 rFromVal :: Value -> Render
 rFromVal v = Just (v, WSDefault, 11)
 
--- | Get a 't:Translation' from a 'Value' using 'WSDefault' and precedence 11.
+-- | Get a t'Translation' from a 'Value' using 'WSDefault' and precedence 11.
 tFromVal :: Value -> Translation
 tFromVal v = Translation (rFromVal v) []
 
@@ -88,20 +88,20 @@
 
 -- making translators
 
-{- | Wrap a 't:Translator' in a 'TStyled' translator using some style, unless the
+{- | Wrap a t'Translator' in a 'TStyled' translator using some style, unless the
 provided style is 'WSDefault'.
 -}
 wrapStyle :: WaveStyle -> Translator -> Translator
 wrapStyle WSDefault t = t
 wrapStyle s t = tStyled s t
 
-{- | Wrap a 't:Translator' in a 'TStyled' variant translator with the
+{- | Wrap a t'Translator' in a 'TStyled' variant translator with the
 provided style.
 -}
 tStyled :: WaveStyle -> Translator -> Translator
 tStyled s (Translator w v) = Translator w $ TStyled s (Translator w v)
 
-{- | Wrap a 't:Translator' in a 'TDuplicate' variant translator with the
+{- | Wrap a t'Translator' in a 'TDuplicate' variant translator with the
 provided subsignal name.
 -}
 tDup :: SubSignal -> Translator -> Translator
@@ -484,7 +484,7 @@
     (Generic a, Show a, WaveformG (Rep a ()), PrecG (Rep a ())) => a -> Translation
   translateL = translateWith renderShow splitL
 
--- | Make sure a 't:Translation' is fully defined. If not, return a 't:Translation' with @"undefined"@.
+-- | Make sure a t'Translation' is fully defined. If not, return a t'Translation' with @"undefined"@.
 safeTranslation :: Translation -> Translation
 safeTranslation = safeValOr (errorT "undefined")
 
diff --git a/src/Clash/Shockwaves/Trace.hs b/src/Clash/Shockwaves/Trace.hs
--- a/src/Clash/Shockwaves/Trace.hs
+++ b/src/Clash/Shockwaves/Trace.hs
@@ -90,6 +90,8 @@
   , Maps
   , TraceMap
   , TypeRepBS
+  , JSON
+  , AddValue
   -- ** Functions
   , traceSignal#
   , traceVecSignal#