Generalise Seq (add varRef param)
small cleanups