Add typeset.sh