A turing machine implementation that works by applying transforms to immutable objects. Because why not?