Term.eval_peek_opts, change semantics again and return more information.
Add Term.ret type, names an existing type of the API.