Type expression syntax