Use typed Double bytecode operations to improve numeric performance

Improve arithmetic-heavy Objo programs by allowing the compiler and virtual machine to use specialised bytecode for operations whose operands are proven to be built-in Double values. The optimisation must preserve existing language behaviour and keep generic execution for mixed, uncertain, converted, or user-defined operations.