Invisible annotations

Add support for runtime-invisible (i.e. user-defined) annotations.