added startup script
update to mark names-info object on the formulae
Added tooltips that links sequent tokens to their definitions