 Label::toString = ->
    output = '“'+@alien+'”' + (if @name? then ': '+T.bold @name else '')
    if @_?.tag == no then output else '['+(@constructor.__name__ or @constructor.name)+' '+output+']'
+
+Execution::toString = ->
+   output = Thing.inspectID(this) +
+      (if @name? then ': '+T.bold @name else '') +
+      (if @resumptions? then new Array(@resumptions - @bits.length).join('()') else '')
+   if @_?.tag == no then output else '['+(@constructor.__name__ or @constructor.name)+' '+output+']'

   # `Alien` object referred to during the invocation of subsequent bits may *not* be the same, as
   # the `Alien` may have been branched!)
   constructor: constructify(return:@) (@bits...)->
   
   complete: -> !this.bits.length
   

   # FIXME: ‘Cloning’ locals ... *isn't*, here. I need to figure out what I want to do with this.
   clone: (to)->
      super to
      to.pristine    = @pristine
      to.locals      = @locals
      to.resumptions = @resumptions if @resumptions?

Paws.Alien = Alien = class Alien extends Execution
   
