added more detailed description to semantic-type and syntactic-type reqs