3 Basic concepts ****************
* Variables; syntactic keywords; and regions * Disjointness of types * External representations * Storage model * Proper tail recursion