add grammar production transformer interface
add eliminate alternations operation