Pointers to functions (!= "function pointers") should be disallowed entirely

[Mehrdad]

I think pointers to functions should be disallowed (and more 
indirections thereof):

        typeof(Object.toString)*  p;
They can never point anywhere reasonable other than null.