fix 2-level finite grammar with conjunctions
handle multiple variables with same type