Added Eq instance for Decl so that we could test equality of programs