I think it would be good to have a central space for numbers beyond BIG FOOT - or rather, functions which eventually dominate the FOOT function. Specifically - don't use any previously existing functions that are uncomputable to build up i.e. don't say FOOT^1000(10^10^100) your number. Ensure it is well defined, or say that it is not. Make sure that you at least lead to something.