Eliminate superfluous meet operators
Update the IR view to show local variable names

See #19.