#4 Type safety

[Maciej Sobczak]

Add the basic type safety to object pointers.
In particular, the library should be able to discover
that a function accepting an object pointer was given
pointer to the object of another type.
(Think also about class inheritance.)