add python binary string
add taskpaper file extension
tweak Terminal encoder, cleanup token kinds