Turing interpreter and language, with support for several types of Turing Machines