new calling convention for builtin functions

    (location -> int -> value_type list -> runtime_env -> value_type)
                ^~~~^ new

This allows us to have a more accurate call trace when eval
is called inside a builtin-function.

Changes to be committed:
* btl/types.typer
* src/builtin.ml
* src/eval.ml