I'm less sure about the details of this, but building on #16 it might be good to link from "ERROR: Must be a number" to the datatype table, highlighting the 'number' datatype row. This might help users understand the problem datatype and its ancestors.
I'm less sure about the details of this, but building on #16 it might be good to link from "ERROR: Must be a number" to the datatype table, highlighting the 'number' datatype row. This might help users understand the problem datatype and its ancestors.