implemented aterm-eq for annotated terms (exact match)
implemented aterm-eq for annotated terms (exact match)

svn path=/spoofax-imp/trunk/org.strategoxt.imp.testing/; revision=22371

metaborg/spt,MartijnDwars/spt,metaborg/spt,metaborg/spt