type checking

[sashan]

> 
> I am beginning to realize that different people probably have
> different typo 'profiles', so that I missed typing checks less than I
> 'missed' writing type declarations (which are another opportunity for
> error ;-).
> 
> 

I suppose that's one way of looking at it. At least I'm not having  to 
correct both the function signature in the header in implementation file.

> 
> I suspect that people sometimes became dependent on the system they
> use finding the errors it is good at finding, 

I think this is my situation at the moment.