Type safety

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



gibaud 2013-10-30