Changed how sequents are built

Rather than 'and'ing or 'or'ing some expressions to get a new one, and
then building an axiom from it, I instead use the functionality of
SeqSequent to add antecedents or succedents respectively, building an
instance of SeqSequent directly. I think this makes more sense.