We should throw our own errors that give the most helpful message possible.

(Not the same as providing semantic checking for the input code. This ticket is just to define the error class so we can throw errors if the tree is malformed, the types don't match, etc. There will be a separate ticket, that depends on this one, for going through and type checking or limiting input to making JSON objects).