front end layout and animation for the Turing Normalizing Machine