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
Rename sexpr eqp to is_eqp

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Enable automatic coercion from 'char const *' to hierachical name

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Rename define_uv -> add_uvar

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add frontend object

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add support for cygwin

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>