Uses the same syntax in tags for constructors.
Updates example.
Fixes tagged types.
Describes the package type in exo.