Implement destructuring assignment (declaration works already)

[kaleidawave]

While declaration destructuring is implemented (aka you can declare some variables where the LHS destructors the RHS value), the assignment part is not implemented

ezno/checker/src/context/environment.rs

Lines 412 to 413 in 7eb3a31

	Assignable::ObjectDestructuring(_) => todo!(),
	Assignable::ArrayDestructuring(_) => todo!(),

For

let array1 = [1, 2, 3];
let a = 0, b = 0;
[a, b] = array1;

a satisfies 1;
b satisfies "hello world";

to work. It should be very similar (but different as it is acting on intermediate level rather than AST) to the assign_fields function used for the declaration kind

ezno/checker/src/synthesis/variables.rs

Line 198 in 7eb3a31

fn assign_to_fields<T: crate::ReadFromFS>(

The implementation should be very similar to the current behaviour for assigning to a variable, however it needs to do the recursive assignment and get_property things from destructuring.