Using G2 with library data structures

[GrootProgrammer]

When attempting to use data structures from libraries like GHC.Natural G2 (specifically G2LH) in this case gives an error.

Minimal code to generate the error:

module Example.Test where

import GHC.Natural

f :: Natural -> Natural -> Natural
f a b = a + b

running G2LH:

cabal run G2LH src/Example/Test.hs f

Gives us:

G2LH: mkStrict: failed to find walker with type: Name "Natural" (Just "GHC.Natural") 3674937295934324786 Nothing
CallStack (from HasCallStack):
  error, called at src/G2/Language/Expr.hs:622:24 in g2-0.2.0.0-72008a90f4e6010c4d8470ec404013344a872125df81931e3aabcbda361004aa:G2.Language.Expr

Is there a way to run G2 with libraries or is this not supported in any way?