Add entity and inclusion types and change interface.
Some sketches of web interface.
Add basic internationalization infrastructure.
Update to Eliom 4.1.
Add display name for entity types.
Show type names in web interface.