Made it so 'Unify' would output fixed substitutions automatically, cleaned up display and solve code