introduce ExpansionContext, implement LiRhsSet.expand, Grammar.create can finally report problems