AspectAG-0.5.0.0: Strongly typed Attribute Grammars implemented using type-level programming.