Implementation of the UM-32 "Universal Machine" as described by the Cult of the Bound Variable