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