Type constructors should be included in doc generation

[Izaakwltn]

For instance:

https://coalton-lang.github.io/reference/#optional-type

https://coalton-lang.github.io/reference/#ord-type

https://coalton-lang.github.io/reference/#cell-type

For a new user, there's no way to tell what the constructors are unless they're listed in a tutorial or you go code-spelunking. How would you know that Result uses either Ok or Err?