Solution checking and tightening up symbol assignments everywhere