Removed "debug output" in `Ref_make` from src/eval.ml

samples/decltype.typer: another version of `decltype` implemented in Typer

samples/math.typer: a toy math library