Adding described types and failing tests for them