the example you’ve given should definitely be in scope for a macro: it’s an oversight that you can’t raise exceptions… the builtins in scope are intentionally quite limited, but we should definitely punch holes through for this kind of case.