idris-0.9.13: test/idrisdoc003/expected

Type checking ./TestDatatypes.idr
Data types are documented