Semantic versus Syntactic Constraints

Distinguish between structural checking and semantic validity in template code.