Added code and description for this simple exercise: check social security number validity

Added a simple exercise. See .md file for more details.
It's a way to get familiar with syntax of primitives, but sure, BIF are often more efficient and reliable in the long run