Add an example app that links implementations at run time
Change the app's browser's database to use a singleton type.
Add an example of using singleton types to resolve type errors

The type checker needs to be reassured that
browser.database.FoodCategory and db.FoodCategory are the same type. We
can achieve this by changing the definition of browser.database to be a
singleton type.