Tabbed terminals

Elementary introduction of tabbed terminals.