Lower-casing the `lazy` keyword
Lower-casing the `lazy` keyword

Apparently this should be lower case to work. Perhaps it is the same for the `Decrease` example, but I have not tested it yet.
ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell