Cloud types documentation
Test error types in illTyped
Some docs