better BnfiTermCollection
MiniPL domain and grammar