wip
add Eq to all Syntax nodes
add tests! (which are failing)