Standardizing SMACK names.
* Every identifier introduced by smack now begins with '$'.
* Short identifiers are preferred, when possible.
* Functions are preferred to procedures for arithmetic predicates.
Also, using std namespace, and std::endl, uniformly.