Provide type of Built-in via context, it's more flexible

* src/elab.ml (sform_built_in): Change to take the type from `ot`
rather than from an argument.

* btl/builtins.typer: Adjust and simplify accordingly.

* src/builtin.ml (predef_names): Rename from `predef_name`.