concrete ExtendLat of Extend = ExtendFunctor with (Grammar=GrammarLat);