track change to letIntro signature
tweak type variable names to emphasize duality
Move -v0 in instructions to suppress HERMIT banner
move resume from script to invocation