Type safety

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



Alain Gibaud 2015-07-09