Finished most of the mega-est-sat program. Fixed a few things related to tuple states / vector conversions (the from_vect and to_vect are weird, seem to ignore ADL rule).