runtime: Use exceptions to signal runtime type errors, so they can be properly caught and reported in the UI.
Fill in two binary operator disambiguation methods (op_mul and op_div).