Type checker infers Lattice (m LatConstraint) as well as Monad m

[dom]

Although there is an instance defined for "lifted" constraints ("lifted" so that you can get errors as well as constraints), the intention was only to use the "lifted" form as a monad.

lToPer :: (L.Lattice (m L.MyLatConstraint), MonadError [Char] m) => ASNBuiltin a -> a -> [ESS a] -> m BP.BitPut

We need to track down where the type checker is inferring Lattice and check that this is meaningful and what we intended.