script to texify twelf in the style of TAPL. mouais.