Clean up Eq constructor.
first draft of grammar support
brute force algorithm for finding rhs of grammars