deduping shared code, exposed HMPar put-after-write
handle generic vars properly in HMSeq
allow cmdline args for size
let generalization in HMPar
different term gen function

Still getting some type errors in the Par version; will investigate
further
wip