Fix typo in instrumentation for binary op.
Update LICENSE
Runtime: some infrastructure, emit proper message for arithmetic on undefined/nonfinite values.