Fixed rule recursion bug in switch optimizer.
Fixed predicate bug.
Converted README to markdown.
Added Java grammar.