Structure equality
compile structure, and remove unnecessary item_or_non_item rule