Export 'toplevel-define!'
Using '1+' and '1-'