Node comparison methods on imperative ASTs

1. Implement Equality for imperative nodes
2. Imperative testcases

@lukechurch
@ke-yu
@steell
could put the equality checking inline to do short-circuit evaluation