[Typer] [Git][monnier/typer][graveline] Corrected macro type in default attribute and eval_test.ml