WIP: validate expr arguments