Merge Type and TypeEntry
Add BINARY_ADD / BINARY_MULTIPLY fast path
Add BINARY_SUBTRACT fast path
Handle -0.0 and +0.0 boxing