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.