Some work on branch implementation.
x86 comparisons are now working... WITHOUT special-casing!