Add example of exporting data types/constructors

Did this as a PR, in case you want to delay talking about exporting data types and their constructors. :-)