Fix error in tests
Fix apidoc
fix Id allocation
Type system for the examples
fix errors in the tests for choco