initial work on [goalstate = goal list * theorem] variation
Implemented variation of the subgoal part, which I believe is what is referred to in <200601051723.25137.rda@lemma-one.com>.