An implementation of Turing-machine with list-operations in Scheme