Logical: add conservative eval_if
Iterable: use eval_if in some places
sandbox: add is_valid
sandbox: add a naive Matrix