enforce that annotation types have empty initializer 
(still a little wrong)