Arbitrary elimination now dispatched properly.
Initial commit.