Kaba function simplify.eval_equal ed

...

Syntax ed

func static simplify.eval_equal(t: shared![Term]) -> shared![Term]

...

...