[Typer] [Git][monnier/typer][graveline] macro "case" now use "do" and "Elab_isconstructor"; added tests/case_test.ml