idris-0.9.18: test/idrisdoc003/expected

Data types are documented