annotation types must be final
Work on #201 Mark annotation types
Support "open" type declarations