An AttributeGrammar where one of the attributes is the Grammar. See http://web.cs.wpi.edu/~jshutt/adapt/summaries.html#Christiansen CategoryCompilers
