added a bunch of tests
added test for and adt with an adt as annotation