Add a Lazy type that compiles to delay/force

[zliu41]

Describe the feature you'd like

See this comment from Roman: https://github.com/IntersectMBO/plutus/pull/5901/files#r1563932610

Describe alternatives you've considered

No response

[michaelpj]

I think this can be done with some simple library code:

newtype Lazy a = Lazy (forall b . a)

force :: Lazy a -> a
force (Lazy a) = a @()

[michaelpj]

And I'd prefer if we called it Delay rather than Lazy, since it's not lazy in the sense of Haskell since it's not memoized.

[michaelpj]

Probably the type instantiation should be at a builtin type, so we don't hold on to the unit type definition if we don't need it.