better rangechecks for arguments and literals.