Equality for annotations upto re-write rules and alpha re-nameing is working
Equality for annotations