Move Module.main to the probability monad.
Don't treat 1st arg differently.
Fix insertion of + arguments.
Simplify smodel arg checking, and delete some old code.
Update TN.hs.