Lazyness in Ocaml with Syntax Extensions