Add the Y operator in a safe(?) way

* btl/builtins.typer (Y): Give its type.

* src/eval.ml (y_operator): New function.
(register_built_functions): Add "Y" operator.

* tests/eval_test.ml ("Y"): New test.