Given a goal g, the call mk_goalstate g converts it into a goalstate with
that goal as its only member. (A goalstate consists of a list of subgoals as
well as justification and metavariable information.)