Build specialised Tape type
Remove useless stuff from turing-add.py