Added a robust annotation system based on Hack attributes.