Treat Top.Exception
list.yzi: Add some decls
Add exceptions
Enable poly fun defs