an esoteric language that implements the Wang B-Machine