Type safety

Types are carefully checked, and mixed-type pointer expressions are rejected.



AG 2013-04-10