Documenting type expression syntax