concrete BigLat of BigLatAbs = GrammarLat, DictLat ;