Errors

should the return be the `expr` that you create with `check_error_def_inst`?