Add static_asserts for higher-order functions in kernel/for_each.h and kernel/pp.cpp
Fix typos in format.h (error messages)
Add more to mpfp