populate the second argument of error terms thrown from rust with a context list

[Skgland]

Make errors thrown from rust compatible with call_with_error_context/2 in that the second argument of a thrown error is a list.

This exasperates the problem described in #3171 as now way more list terms are constructed from rust (see updated tests) and as such this PR is blocked on that issue being resolved.

[Skgland]

The (.)/2 list terms are being constructed at

scryer-prolog/src/machine/machine_errors.rs

Lines 732 to 745 in 4bd8342

	pub(super) fn error_form(&self, mut err: MachineError, predicate: MachineStub) -> MachineStub {
	err.add_context(functor!(
	atom!("-"),
	[atom_as_cell((atom!("predicate"))), functor(predicate)]
	));
	let mut context = functor!(atom!("[]"));
	for ctx in err.context.into_iter().rev() {
	context = functor!(atom!("."), [functor(ctx), functor(context)]);
	}
	functor!(atom!("error"), [functor((err.stub)), functor(context)])
	}

[triska]

as soon as it works: [predicate-call/0]? (that's the expectation)

[Skgland]

Based on the old error that would be my expectation.
Though the error context appears to be rather odd even for the old error.
With the second argument usually being the predicate that encountered an error this would mean that call/0 failed to find call/0 which shouldn't happen as call/0 doesn't exists.
Wherever that error is being thrown the context appears to be off.

[Skgland]

The source of this error appears to be

scryer-prolog/src/machine/machine_state.rs

Lines 575 to 580 in e4d9692

	pub(super) fn throw_undefined_error(&mut self, name: Atom, arity: usize) -> MachineStub {
	let stub = functor_stub(name, arity);
	let err = self.existence_error(ExistenceError::Procedure(name, arity));
	self.error_form(err, stub)
	}

[Skgland]

In ab34905 I have now removed the predicate context for those errors.
I don't see any useful context being available.
Though it might be worth looking into adding context for goals evaluated as part of an initialization/1 directive i.e. something like [declaration-initialization/1, goal-Goal, file-File, line-Line]