note: this repository is an unpublished, candidate draft; since this was written, we've built HVM, an extremelly fast functional VM. this paper will soon be updated to a new design based on it