Talk given at CHARME 2003.

Use the versions with overlays expanded for viewing and printing.