Möjlighet för språk och klasser att utbyta information genom allmänt överens om definitioner och användningsmönster för typer.