Implementing Javascript Inheritance And Synthesized Accessors With Annotation